منابع مشابه
Arrow Update Logic
We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action m...
متن کاملThe undecidability of arbitrary arrow update logic
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the logic’s satisfiability problem is decidable. Here, we show that the satisfiability problem of Arbitrary Arrow Update Logic is co-RE hard, and ther...
متن کاملArrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is als...
متن کاملArrow Decision Logic
In this paper, we propose arrow decision logic (ADL), which combines the main features of decision logic and arrow logic. Decision logic represents and reasons about knowledge extracted from decision tables based on rough set theory, while arrow logic is the basic modal logic of arrows. The semantic models of ADL are pairwise comparison tables, which are useful in rough set-based multicriteria ...
متن کاملOn Hybrid Arrow Logic
We investigate hybridization of Arrow Logic. Hybridization is a general technique for increasing the power of modal logics. A hybrid extension of a given modal logic can be obtained in two stages: first adding a new sort of variables considered as formulas whose intended meaning is to denote points in the domains of the frames then introducing mechanisms for handling the now available informati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2011
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020311000189